منابع مشابه
Tense like equality algebras
In this paper, first we define the notion of involutive operator on bounded involutive equality algebras and by using it, we introduce a new class of equality algebras that we called it a tense like equality algebra. Then we investigate some properties of tense like equality algebra. For two involutive bounded equality algebras and an equality homomorphism between them, we prove that the tense ...
متن کاملEquality of proofs for linear equality
This paper is about equality of proofs in which a binary predicate formalizing properties of equality occurs, besides conjunction and the constant true proposition. The properties of equality in question are those of a preordering relation, those of an equivalence relation, and other properties appropriate for an equality relation in linear logic. The guiding idea is that equality of proofs is ...
متن کاملApproximate equality is no fuzzy equality
We argue that fuzzy equivalences, and in particular fuzzy equalities, in general are not suitable to model approximate equality due to the notion of transitivity. Using them for this purpose therefore leads to counter-intuitive results, as we illustrate in detail in a fuzzy relationbased framework for the representation of linguistic modifiers. We solve the problem by choosing resemblance relat...
متن کاملEquality, Revisited
In 1979 Yao published a paper that started the field of communication complexity and asked, in particular, what was the randomised complexity of the Equality function (EQ) in the Simultaneous Message Passing (SMP) model (for the question to be non-trivial, one must consider the setting of private randomness). The tight lower bound Ω( √ n) was given only in 1996 by Newman and Szegedy. In this wo...
متن کاملEquality propositional logic and its extensions
We introduce a new formal logic, called equality propositional logic. It has two basic connectives, $boldsymbol{wedge}$ (conjunction) and $equiv$ (equivalence). Moreover, the $Rightarrow$ (implication) connective can be derived as $ARightarrow B:=(Aboldsymbol{wedge}B)equiv A$. We formulate the equality propositional logic and demonstrate that the resulting logic has reasonable properties such a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Studia Mathematica
سال: 2008
ISSN: 0039-3223,1730-6337
DOI: 10.4064/sm189-1-5